Version space

Results: 1722



#Item
411Linear algebra / Vector space / Vectors / Predicate transformer semantics / Algebra / Mathematics / Group theory

A Modular Static Analysis Approach to Affine Loop Invariants Detection1 (Extended Version) Corinne Ancourt Fabien Coelho Fran¸cois Irigoin

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2010-11-09 06:04:26
412Atmospheric sciences / De Bilt / Royal Netherlands Meteorological Institute / Environmental chemistry / Netherlands Institute for Space Research / Atmospheric chemistry / EUMETSAT / Netherlands National Institute for Public Health and the Environment / SCIAMACHY / Air dispersion modeling / Meteorology / Spaceflight

Microsoft Word - TROPOMI_Workshop_Report_Final_Version_22April2008.doc

Add to Reading List

Source URL: www.knmi.nl

Language: English - Date: 2009-11-06 02:35:50
413Abstract algebra / Vectors / Matrix / Euclidean vector / Spreadsheet / Vector space / Vector / R / C / Algebra / Mathematics / Linear algebra

A Guide for the Unwilling S User Patrick Burns∗ 23rd February 2003 Introduction Two versions of the S language are available—a free version called R, and a commercial version called S-PLUS. Though there are differenc

Add to Reading List

Source URL: dssm.unipa.it

Language: English - Date: 2003-02-25 11:31:55
414Emergency management / Impact assessment / Technology assessment / Risk / Human spaceflight / International Space Station / Environmental impact assessment / Emergency / Disaster / Spaceflight / Management / Ethics

The Flash Environmental Assessment Tool (FEAT) To identify acute environmental risks immediately following disasters Version 1.0

Add to Reading List

Source URL: greencrossaustralia.org

Language: English - Date: 2014-08-06 19:33:44
415Abstract algebra / Vectors / Matrix / Euclidean vector / Spreadsheet / Vector space / Vector / R / C / Algebra / Mathematics / Linear algebra

A Guide for the Unwilling S User Patrick Burns∗ 23rd February 2003 Introduction Two versions of the S language are available—a free version called R, and a commercial version called S-PLUS. Though there are differenc

Add to Reading List

Source URL: cran.sciserv.eu

Language: English - Date: 2003-02-25 11:31:55
416Abstract algebra / Vectors / Matrix / Euclidean vector / Spreadsheet / Vector space / Vector / R / C / Algebra / Mathematics / Linear algebra

A Guide for the Unwilling S User Patrick Burns∗ 23rd February 2003 Introduction Two versions of the S language are available—a free version called R, and a commercial version called S-PLUS. Though there are differenc

Add to Reading List

Source URL: cran.utstat.utoronto.ca

Language: English
417Covariance and correlation / Linear algebra / Functions and mappings / Abstract algebra / Elementary mathematics / Function / Normal distribution / Vector space / Logarithm / Mathematics / Algebra / Mathematical analysis

R Reference Card by Tom Short, EPRI PEAC, Granted to the public domain. See www.Rpad.org for the source and latest version. Includes material from R for Beginners by Emmanuel Paradis (with

Add to Reading List

Source URL: ftp.yzu.edu.tw

Language: English - Date: 2004-11-29 04:02:09
418Spacecraft / Space technology / Spaceflight / Manned spacecraft / Space Shuttle

STS-5A Datasheet Version 2.indd

Add to Reading List

Source URL: www.kmi.com

Language: English - Date: 2014-02-10 17:03:52
419Covariance and correlation / Linear algebra / Functions and mappings / Abstract algebra / Elementary mathematics / Function / Normal distribution / Vector space / Logarithm / Mathematics / Algebra / Mathematical analysis

R Reference Card by Tom Short, EPRI PEAC, Granted to the public domain. See www.Rpad.org for the source and latest version. Includes material from R for Beginners by Emmanuel Paradis (with

Add to Reading List

Source URL: cran.stat.upd.edu.ph

Language: English - Date: 2004-11-29 04:02:09
420IGSM / Office of Oceanic and Atmospheric Research / Sea surface temperature / Community Climate System Model / Goddard Institute for Space Studies / Geophysical Fluid Dynamics Laboratory / National Center for Atmospheric Research / Atmospheric sciences / Meteorology / Oceanography

Supplementary Material to An Integrated Assessment Modeling Framework for Uncertainty Studies in Global and Regional Climate Change: The MIT IGSM-CAM (version 1.0) E. Monier1, J. R. Scott1, A. P. Sokolov1, C. E. Forest2,

Add to Reading List

Source URL: www.geosci-model-dev.net

Language: English - Date: 2014-12-04 04:23:36
UPDATE